Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken
نویسنده
چکیده
Axiom-Pinpointing bestimmt die für eine Konsequenz verantwortlichen Axiome einer Ontologie und unterstützt dadurch die Suche und Behebung von Fehlern. In der Arbeit [Peñ09b], deren Resultate hier zusammengefasst werden, wurde untersucht, unter welchen Bedingungen sich tableau-artige und auf automaten-basierte Schlußfolgerungsverfahren für Beschreibungslogiken stets zu Pinpointing-Verfahren erweitern lassen. Zusätzlich wurde die Komplexität des Pinpointing-Problems erforscht.
منابع مشابه
Die Multicore-Transformation und ihre Herausforderung an die Softwaretechnik
Mehrkern-Rechner sind im Begriff, zu übernehmen. Mobiltelefone werden bereits mit Doppelprozessoren ausgestattet, Tablettrechner mit vier Prozessoren, PCs mit acht und mehr, Server mit Dutzenden, und GPUs mit einem halben Tausend. Diese Entwicklung stellt die Softwaretechnik vor die Herausforderung, parallele Software mit der gleichen Qualität und zu gleichen Kosten wie sequentielle herzustelle...
متن کاملWissensmanagement "entrusted"
Vertrauen findet zurzeit eine große Beachtung. Auch im Umfeld des IT-gestützten Wissensmanagements wird Vertrauen zunehmend als fundamentale Voraussetzung für erfolgreiche Projekte erkannt. Die Verantwortlichen stehen somit vor der Herausforderung Konzepte zu entwickeln, die neben technologischen und organisatorischen Aspekten auch die sogenannten weichen Faktoren, wie etwa Vertrauen berücksich...
متن کاملPrivacy
Sucht man nach Übersetzungen des Begriffs „Privacy“, so findet man Privatsphäre, Intimsphäre, Ungestörtheit, Abgrenzung und Datenschutz. Privacy meint also das Recht jedes Einzelnen auf einen „privaten, geschützten Raum“, welcher von anderen und von der Gesellschaft als ganzes nur in wohl definierten Ausnahmefällen verletzt werden darf. Der „private Raum“ ist in erster Linie die Wohnung einer P...
متن کاملModellierung in der Schulinformatik
Obwohl sich viele Didaktiker darüber einig sind, dass die Modellierung komplexer Systeme einen der wichtigsten Beiträge der Informatik für die Allgemeinbildung leisten kann, ist dieser Themenbereich in den Inhaltsspalten existierender Lehrpläne kaum vertreten. Dagegen findet man oft viele relativ spezielle Details zur Implementierung (wie Zeigertechniken) oder Vorschriften über zu behandelnde P...
متن کاملWie smarte Dinge Prozesse unterstützen
Smarte Dinge besitzen ein großes Potenzial, um Geschäftsprozesse zu verbessern. Anwendungsbeispiele findet man schon heute in vielen Bereichen wie etwa der Logistik, der Produktion oder dem Handel. Anhand dieser Beispiele lässt sich zeigen, dass solche Anwendungen technisch machbar und betriebswirtschaftlich sinnvoll sind. In vielen Anwendungsfällen kommen Dinge zum Einsatz, die deshalb als sma...
متن کامل